Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
361	MONIX TASK LAZY, ASYNC & AWESOME Alexandru Nedelcu Software Developer @ eloquentix.com  @alexelcu / alexn.org Add to Reading List Source URL: monix.io Language: English - Date: 2016-05-30 04:38:17 Concurrent programming languages Functional languages Scala Futures and promises Evaluation Task
362	Type-Based Reasoning for Real Languages Janis Voigtl¨ander University of Bonn PPL’10 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:11 Type theory Data types Functional programming Object-oriented programming Polymorphism Parametric polymorphism Map Ordinal number Boolean data type
363	Kat - the language of calculations Mikus Vanags Parameter declaration explicitly Add to Reading List Source URL: www.issac-symposium.org Language: English - Date: 2015-07-08 07:22:21 Lambda calculus Subroutines Functional programming Data types Anonymous function Parameter Implicit function Church encoding
364	Under consideration for publication in J. Functional Programming 1 A Functional Toolkit for Morphological and Phonological Processing, Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2004-04-19 09:40:02 Search algorithms Trie HAT-trie Hash table Hash function Set Search tree Radix tree Radix sort
365	Archetypal Source Code Searches: A Survey of Software Developers and Maintainers Susan Elliott Sim Dept. of Computer Science University of Toronto Toronto, Ontario, Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 1999-09-14 13:34:44 Scripting languages Variable Functional languages Object-oriented programming languages Cross-platform software Scala Environment variable Find Regular expression Global variable AWK Include directive
366	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-12 22:21:53 Lambda calculus Subroutines Functional programming Computability theory Theoretical computer science Higher-order abstract syntax Anonymous function Scheme Fixed-point combinator Combinatory logic Eval Hygienic macro
367	Proving Type Class Laws for Haskell Andreas Arvidsson, Moa Johansson, and Robin Touche Department of Computer Science and Engineering, Chalmers University of Technology , moa.johansson@chalmers. Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2016-07-08 05:39:59 Algebraic structures Semigroup theory Functional programming Type theory Automated theorem proving Monoid Monad Type class Semiring IP Haskell Free monoid
368	Dylan Grand Tour Chris Page Head Moose Styling Moose Industries (also: ) Add to Reading List Source URL: smartfriends.com Language: English - Date: 2003-11-23 06:49:47 Object-oriented programming languages Cross-platform software Programming languages Dylan Object-oriented programming Functional languages Constant Smalltalk Pascal Parameter Dynamic programming language C++ classes
369	LTK - a Lisp binding to the Tk toolkit Peter Herth February 5, 2006 Contents 1 Introduction Add to Reading List Source URL: www.peter-herth.de Language: English - Date: 2006-07-15 10:47:47 Functional languages Widget toolkits Application programming interfaces Tk Scripting languages Widget Tcl Canvas Lisp Genera
370	ń* : Beyond Currying Jason Hemann Add to Reading List Source URL: webyrd.net Language: English - Date: 2014-01-13 20:04:11 Lambda calculus Functional programming Partial application Currying Apply Anonymous function Arity Combinatory logic Scheme Parameter

UPDATE